- выполнима
- выполнимаиҷрошаванда, қобили иҷро
Русско-таджикский словарь.
Русско-таджикский словарь.
Убойная сила 2 — Убойная сила 2 … Википедия
ПРЕДИКАТОВ ИСЧИСЛЕНИЕ — общее название исчислений математической логики, являющихся формализацией тех разделов совр. логики, к рые изучают субъектно предикатную структуру предложений (высказываний), понимаемую в более широком, чем в традиц. логике, смысле: помимо теории … Философская энциклопедия
АЛГЕБРАИЧЕСКАЯ СИСТЕМА — множество с определенными на нем операциями и отношениями. А. с. принадлежат к числу основных математич. структур и имеют глубоко разработанную общую теорию, сформировавшуюся в начале 50 х гг. 20 в. на грани между алгеброй и математич. логикой.… … Математическая энциклопедия
Решатель — (англ. solver) программное обеспечение, предназначенное для решения рассматриваемой математической задачи. На вход решателю поступает описание задачи в некоторой заданной форме, а на выходе он выдает решение задачи. Виды решаемых задач … Википедия
Тетрадь Смерти (правила тетради) — Правила в первой части манги Правила во второй части манги Правила в аниме … Википедия
Убойная сила-2 — Жанр детектив,комедия Продюсер Михаил Кирилюк, Анатолий Максимов, Константин Эрнст Режиссёр Александр Рогожкин, Виктор Бутурлин, Евгений Татарский Сценарист Андрей Кивинов, Олег Дудинцев … Википедия
Александр Брасс — Псевдонимы: Александр Брасс Место рождения: СССР Род деятельности: прозаик и публицист Направление: документалистика Александр Брасс псевдоним автора ряда книг и статей на темы террора … Википедия
Брасс Александр — Александр Брасс псевдоним автора ряда книг и статей на темы террора и борьбы с ним, а также по истории ислама и западноевропейского лево анархистского экстремизма. Родился в Прибалтике, жил и учился в Киеве. В университете изучал юриспруденцию и … Википедия
DPLL-Алгоритм — Алгоритм Дэвиса–Патнема–Логемана–Лавленда (DPLL) это полный алгоритм поиска с возвратом для определения выполнимости булевых формул, записанных в конъюнктивной нормальной форме, т.е. для решения задачи CNF SAT. Алгоритм был опубликован в 1962… … Википедия
КОСТЬ — КОСТЬ. Содержание: I. ГИСТОЛОГИЯ И ЭМбрИОЛОГИЯ..........130 II. Патология кости ...............ш III. Клиника заболеваний кости.........153 IV. Операции на костях..............Юб I. Гистология и эмбриология. В состав К. высших позвоночных входят… … Большая медицинская энциклопедия
Гунтера перевязка артерии — (J. Hunter, 1728 1793, шотл. анатом и хирург; син. перевязка артерии на протяжении) наложение лигатуры на сосуд центральнее поврежденного участка в том месте, где перевязка технически легче выполнима … Большой медицинский словарь